Quantifying opacity
نویسندگان
چکیده
منابع مشابه
Quantifying Intraoperative Laparoscopic Visual Field Opacity
BACKGROUND AND OBJECTIVES Laparoscopic surgery can be complicated by condensation and debris on the lens obscuring the visual field, increasing the risk of surgical error and injury to the patient. Despite, development of possible solutions, little is known regarding the quantitative measure of time lost during surgery because of an obscured visual field. Without this knowledge, the cost of lap...
متن کاملQuantifying the emission benefits of opacity testing and repair of heavy-duty diesel vehicles.
The objective of this study was to begin to quantify the benefits of a smoke opacity-based (SAE J1667 test) inspection and maintenance program. Twenty-six vehicles exhibiting visible smoke emissions were recruited: 14 pre-1991 vehicles and 12 1991 and later model year vehicles. Smoke opacity and regulated pollutant emissions via chassis dynamometer were measured, with testing conducted at 1609 ...
متن کاملOpacity Testing
Opacity testing is formalized and studied. We specify opacity testers as well as tested systems by (timed) process algebras. We model various testers according to how sophisticated observations of tested system they can make and which kind of conclusions they can obtain. We use this technique to define several realistic security properties. The properties are studied and compared with other sec...
متن کاملDecomposing Opacity
Transactional memory (TM) algorithms are subtle and the TM correctness conditions are intricate. Decomposition of the correctness condition can bring modularity to TM algorithm design and verification. We present a decomposition of opacity called markability as a conjunction of separate intuitive invariants. We prove the equivalence of opacity and markability. The proofs of markability of TM al...
متن کاملRational Opacity
A key motivation for transparency regulations and disclosure rules is the view that corporations are more opaque than they could be. Traditional arguments attribute this tendency to agency problems between managers on one side and stakeholders and/or outsiders on the other. We propose a completely di erent argument for why corporations limit the ow of information. When secondary markets are sha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2014
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129513000637